header bar: Show a non-pixellated app icon
authorMatthias Clasen <mclasen@redhat.com>
Wed, 30 Sep 2015 22:42:20 +0000 (18:42 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 30 Sep 2015 22:42:20 +0000 (18:42 -0400)
commit84c7f6c747e646e45c0a2297ebd30a198b394b5a
tree803fb704ff626a650e86ab8a4de6f36b03d86cbc
parent983cd2f7cc9e7d7f54a07d6b286e24e0a8dc37d5
header bar: Show a non-pixellated app icon

Load a hi-dpi icon when we are running with scale=2.

https://bugzilla.gnome.org/show_bug.cgi?id=751787
gtk/gtkheaderbar.c